(declare-fun v0 () Int)
(assert (not (= 0 (ite (not (= 0 (ite (= v0 0) 1 0))) 1 0))))
(declare-const x Bool)
(declare-const x2 Int)
(declare-fun v () Int)
(assert (distinct 0 (ite (= v 0) x2 (ite x 1 0))))
(declare-fun p (Real) Bool)
(declare-fun f (Real) Real)
(assert (distinct (f 0.0) (to_real (ite (p 0.0) 1 0))))
(check-sat)
